Dãy số tự tham chiếu Bảng_tra_cứu_dãy_số_nguyên_trực_tuyến

Từ rất sớm trong lịch sử của OEIS, việc dãy số được xác định thông qua đánh số dãy đã được đề xuất.Sloane hồi tưởng: "Tôi đã phản đối việc thêm các dãy này trong một thời gian dài, một phần vì mong muốn duy trì chất lượng của dữ liệu và một phần bởi vì A22 chỉ có 11 phần tử!".[11]Một trong những dãy tự tham chiếu sớm nhất mà Sloane chấp nhận nhập vào OEIS là A031135 (sau là A091967) "a(n) = phần tử thứ n của dãy An hoặc bằng -1 nếu An hơn n phần tử".Điều này thúc đẩy việc tìm kiếm thêm phần tử của A000022. A100544 liệt kê phần tử đầu tiên cho trước trong dãy An, nhưng nó cần được cập nhật theo thời gian do các thay đổi ý kiến về các giá trị bù. Liệ kê dạng danh sách a(1) của dãy An có thể là lựa chọn tốt nếu thực tế không phải là một số dãy số có độ lệch 2 và lớn hơn.Điều này dẫn đến câu hỏi "Liệu dãy số An có chứa số n ?" và dãy A053873, "Các số n sao cho dãy OEIS An chứa n", và A053169, "n thuộc dãy này khi và chỉ khi n không nằm trong dãy An". Do đó, hợp số 2808 thuộc dãy A053873 vì A002808 là dãy hợp số, trong khi số không nguyên tố 40 thuộc dãy A053169 do nó không thuộc A000040, dãy số nguyên tố. Mỗi số n là một phần tử chính xác của một trong hai dãy và về nguyên tắc có thể được xác định dãy mà chứa n, với hai ngoại lệ (liên quan đến chính bản thân hai dãy):

  • Không thể xác định liệu 53873 có là phần tử của dãy A053873. Nếu là phần tử thuộc dãy thì theo định nghĩa thì nó thuộc; nếu nó không thuộc dãy thì (một lần nữa, theo định nghĩa) nó không thuộc. Tuy nhiên, một trong hai quyết định phải nhất quán và giải quyết câu hỏi liệu 53873 thuộc A053169.
  • Có thể chứng minh rằng 53169 đều thuộc và không thuộc dãy A053169. Nếu là phần tử thuộc dãy thì theo định nghĩa thì nó thuộc; nếu nó không thuộc dãy thì (một lần nữa, theo định nghĩa) nó không thuộc. Đây là một dạng của [nghịch lý Russell]. Do đó không thể trả lời câu hỏi liệu 53169 có thuộc A053873.

Tài liệu tham khảo

WikiPedia: Bảng_tra_cứu_dãy_số_nguyên_trực_tuyến http://abc.net.au/science/news/stories/s1209743.ht... http://www.cecm.sfu.ca/~jborwein/sloane/sloane.htm... http://lacim.uqam.ca/~plouffe/articles/A%20Questio... http://www.cs.uwaterloo.ca/journals/JIS/ http://www.alexa.com/siteinfo/oeis.org http://public.research.att.com/~njas/doc/sg.pdf http://www.research.att.com/~njas/doc/sg.pdf http://www.drgoulu.com/2008/08/24/nombres-acratope... http://www.drgoulu.com/2009/04/18/nombres-minerali... http://list.seqfan.eu/pipermail/seqfan/2011-Novemb...